81. Computability with pascal

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Data processing ، Computable functions,Data processing ، Recursive functions,، Pascal )Computer program language(

رده :
QA
9
.
59
.
M34
1984

82. Computation, Logic, Philosophy :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Information theory.,Mathematics.,Technology -- Philosophy.

83. Computation, logic, games, and quantum foundations :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Abramsky, Samsom.,Jocs, Teoria de.,Lògica informàtica.

رده :
QA76
.
B633
2013

84. Computational Logic - CL 2000 :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer architecture.,Computer science.,Software engineering.

رده :
QA76
.
9
.
L63
E358
2000

85. Computations in higher types

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Recursive functions

رده :
QA
3
.
L28
no
.
574

86. Computations in higher types

پدیدآورنده :

موضوع : ، Recursive functions

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

87. Computations in higher types

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Recursive functions

رده :
QA
1
.
L4
v
.
574

88. Computations in higher types

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Recursive functions

رده :
QA
3
.
L28
Vol
.
574

89. Computations in higher types,Lecture notes in mathematics

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Recursive functions

رده :
QA
3
.
M6C6
1977

90. Computer Mathematics

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

91. Computer Networks and Systems

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Statistics.

92. Computer-aided design and manufacturing :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

رده :
TS155
.
6
T564
2012

93. Computing with foresight and industry :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.

رده :
QA9
.
59
.
C67
2019

94. Counterparty credit risk, collateral and funding :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Credit derivatives-- Mathematical models.,Credit-- Mathematical models.,Finance-- Mathematical models.,Financial risk-- Mathematical models.

رده :
HG106

95. Data structure programming :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

رده :
QA76
.
73
.
C153
J674
2013

96. Degrees of unsolvability

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Recursive functions

رده :
QA
248
.
5
.
S2
1966

97. Degrees of unsolvability

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Logic, symbolic and mathematical,Recursive functions

رده :
511
Sh-D

98. Degrees of unsolvability

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Recursive functions,، Unsolvability )Mathematical logic(

رده :
QA
9
.
S518

99. Degrees of unsolvability

پدیدآورنده :

موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

100. Difference and differential equations with applications in queueing theory /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Difference equations,Differential equations,Queuing theory,Difference equations,Differential equations,Mathematics,Queuing theory

رده :
QA274
.
8